// compile-flags: -Z unpretty=thir-flat
// check-pass

pub fn main() {}
